Electron beam welding of Ti 6Al 4V

Práce se věnuje svařování kombinace titanové slitiny Ti-6Al-4V a austenitické oceli 1.4301 pomocí elektronového svazku. Na základě literární studie problematiky spojování titanu a jeho slitin s ocelemi bylo navrženo zvolit pro svařování mezivrstvu mědi, která by mohla omezit vliv intermetalických fází na mechanické vlastnosti svaru a umožnit vznik svaru. Pro svaření trubkových vzorků byly použity tři způsoby svaření s různými parametry svařování. Vzorky, které zůstaly po teplotním cyklování vakuově těsné, byly následně dále analyzovány (mikrotvrdost, tahová zkouška, atd.).The thesis is dedicated to welding combination of titanium alloy Ti-6Al-4V and austenitic steels 1.4301 by electron beam. Based on literature studies of bonding titanium and its alloys with steels, it was proposed to select for welding interlayer of copper, which could limit the impact of intermetallic phases on the mechanical properties of the weld seam and enable the creation of weld. For welding the pipe samples were used three methods of welding with various welding parameters. Samples which remain after thermal cycling vacuum-tight, were then further analyzed (micro-hardness, tensile test, etc.).

Electron beam welding technology

Bakalářská práce je věnována rozboru technologie svařování elektronovým paprskem. Jedná se o nekonvenční metodu svařování, vyznačující se vysokou kvalitou svaru a úzkou tepelně ovlivněnou oblastí svařovaných dílů. Své uplatnění si tato technologie, díky svému vývoji a kvalitám, našla v mnoha průmyslových odvětvích, především v letectví a kosmonautice. Limitujícím prvkem této metody je vakuum, které je pro svařování elektronovým svazkem nutné. Avšak i v této oblasti, se vývoj nových technologií nezastavil a přinesl konkrétní řešení daných problémů. Práce je rovněž zaměřená na svařování rotačních součástí svazkem elektronů, jak v kusové tak sériové výrobě.The bachelor thesis is devoted to analysis of electron beam welding technology. It is unconventional method of welding characterized by high quality weld and narrow heat-affected zone of welded parts. This technology, due to its development and qualities, has found its application in many industries, primarily in aviation and astronautics. The vacuum is limiting feature of this method and it is necessary for electron beam welding. However, even in this area, the development of new technologies have not stopped and generates concrete solutions to those problems. The thesis is also focused on elektron beam welding of rotary parts in the piece and serial production.

Conceptual framework for programming skilss development based on microlearning and automated source code evaluation in virtual learning environment

Understanding how software works and writing a program are currently frequent requirements when hiring employees. The complexity of learning programming often results in educational failures, student frustration and lack of motivation, because different students prefer different learning paths. Although e-learning courses have led to many improvements in the methodology and the supporting technology for more effective programming learning, misunderstanding of programming principles is one of the main reasons for students leaving school early. Universities face a challenging task: how to harmonise students’ education, focusing on advanced knowledge in the development of software applications, with students’ education in cases where writing code is a new skill. The article proposes a conceptual framework focused on the comprehensive training of future programmers using microlearning and automatic evaluation of source codes to achieve immediate feedback for students. This framework is designed to involve students in the software development of virtual learning environment software that will provide their education, thus ensuring the sustainability of the environment in line with modern development trends. The paper’s final part is devoted to verifying the contribution of the presented elements through quantitative research on the introductory parts of the framework. It turned out that although the application of interactive features did not lead to significant measurable progress during the first semester of study, it significantly improved the results of students in subsequent courses focused on advanced programming

Critical Involvement of the ATM-Dependent DNA Damage Response in the Apoptotic Demise of HIV-1-Elicited Syncytia

DNA damage can activate the oncosuppressor protein ataxia telangiectasia mutated (ATM), which phosphorylates the histone H2AX within characteristic DNA damage foci. Here, we show that ATM undergoes an activating phosphorylation in syncytia elicited by the envelope glycoprotein complex (Env) of human immunodeficiency virus-1 (HIV-1) in vitro. This was accompanied by aggregation of ATM in discrete nuclear foci that also contained phospho-histone H2AX. DNA damage foci containing phosphorylated ATM and H2AX were detectable in syncytia present in the brain or lymph nodes from patients with HIV-1 infection, as well as in a fraction of blood leukocytes, correlating with viral status. Knockdown of ATM or of its obligate activating factor NBS1 (Nijmegen breakage syndrome 1 protein), as well as pharmacological inhibition of ATM with KU-55933, inhibited H2AX phosphorylation and prevented Env-elicited syncytia from undergoing apoptosis. ATM was found indispensable for the activation of MAP kinase p38, which catalyzes the activating phosphorylation of p53 on serine 46, thereby causing p53 dependent apoptosis. Both wild type HIV-1 and an HIV-1 mutant lacking integrase activity induced syncytial apoptosis, which could be suppressed by inhibiting ATM. HIV-1-infected T lymphoblasts from patients with inactivating ATM or NBS1 mutations also exhibited reduced syncytial apoptosis. Altogether these results indicate that apoptosis induced by a fusogenic HIV-1 Env follows a pro-apoptotic pathway involving the sequential activation of ATM, p38MAPK and p53

Development of Automatic Source Code Evaluation Tests Using Grey-Box Methods: A Programming Education Case Study

Increasing the effectiveness of programming education has emerged as an important goal in teaching programming languages in the last decade. Automatic evaluation of the correctness of the student’s source code saves teachers time and effort and allows a more comprehensive focus on the preparation of assignments with integrated feedback. The study aims to present an approach that will enable effective testing of students’ source codes within object-oriented programming courses while minimising the demands on teachers when preparing the assignment. This approach also supports variability in testing and preventing student cheating. Based on the principles of different types of testing (black-box, white-box, grey-box), an integrated solution for source code verification was designed and verified. The basic idea is to use a reference class, which is assumed to be part of every assignment, as the correct solution. This reference class is compared to the student solution using the grey-box method. Due to their identical interface (defined by assignment), comparing instance states and method outputs is a matter of basic programming language mechanisms. A significant advantage is that a random generation of test cases can be used in such a case, while the rules for their generation can be determined using simple formulas. The proposed procedure was implemented and gradually improved over 4 years on groups of bachelor students of applied informatics with a high level of acceptance

Identifikace změn v chování zainteresovaných stran VLE v průběhu času pomocí dolování častých vzorů

Many contemporary studies realized in the Learning Analytics research field provide substantial insights into the virtual learning environment stakeholders' behaviour on single-course or small-scale level. They used different knowledge discovery techniques, including frequent patterns analysis. However, there are only a few studies that have explored the stakeholders' behaviour over a more extended period of several academic years in detail. This article contributes to filling in this gap and provides a novel approach to using homogeneous groups of frequent patterns for identifying the changes in stakeholders' behaviour from the perspective of time. The novelty of this approach lies in fact, that even though the time variable is not directly involved, identification of homogeneous groups of frequent itemsets allows analysis and comparison of the stakeholders' behavioral patterns and their changes over different observed periods. Found homogeneous groups of frequent itemsets, which conform minimal threshold of selected measures, showed, that it is possible to uncover the changes in stakeholders' behaviour throughout the observed longer period. As a result, these homogenous groups of found frequent patterns allow a better understanding of the hidden changes in seasonality or trends in stakeholders' behaviour over several academic years. This article discusses the possible implications of the results and proposed approach in the context of virtual learning environment management and educational content improvement.Mnoho současných studií realizovaných v oblasti výzkumu analýzy učení poskytuje podstatné poznatky o chování účastníků virtuálního vzdělávacího prostředí na úrovni jednoho kurzu nebo malého rozsahu. Využívají různé techniky zjišťování znalostí, včetně analýzy častých vzorů. Existuje však jen několik studií, které podrobně zkoumaly chování stakeholderů v delším období několika akademických let. Tento článek přispívá k zaplnění této mezery a nabízí nový přístup k využití homogenních skupin častých vzorů pro identifikaci změn v chování zainteresovaných stran z časového hlediska. Novost tohoto přístupu spočívá v tom, že i když se přímo nejedná o časovou proměnnou, identifikace homogenních skupin častých položek umožňuje analýzu a srovnání vzorců chování zainteresovaných stran a jejich změn v různých sledovaných obdobích. Nalezené homogenní skupiny častých položek, které odpovídají minimálnímu prahu zvolených měr, ukázaly, že je možné odhalit změny v chování zainteresovaných stran v průběhu delšího sledovaného období. V důsledku toho tyto homogenní skupiny nalezených častých vzorců umožňují lépe pochopit skryté změny sezónnosti nebo trendy v chování zainteresovaných stran v průběhu několika akademických let. Tento článek se zabývá možnými důsledky výsledků a navrženého přístupu v kontextu řízení virtuálního vzdělávacího prostředí a zlepšování vzdělávacího obsahu

Hodnocení kvality strojového překladu skrze metriky

The aim of the paper is to find out whether it is necessary to use all automatic measures of error rate and accuracy when evaluating the quality of machine translation output from the synthetic Slovak language into the analytical English language. We used multiple comparisons for the analysis and visualized the results for each sentence through the icon graphs. Based on the results, we can state that all examined metrics, which are based on textual similarity, except the f-measure, are needed to be included in the MT quality evaluation when analyzing, sentence by sentence, the machine translation output.Cílem příspěvku je zjistit, zda je při hodnocení kvality výstupu strojového překladu ze syntetického slovenského jazyka do analytického anglického jazyka nutné použít všechna automatická měření chybovosti a přesnosti. Pro analýzu jsme použili několik srovnání a vizualizovali jsme výsledky pro každou větu prostřednictvím ikonových grafů. Na základě výsledků můžeme konstatovat, že všechny zkoumané metriky, které jsou založeny na textové podobnosti, s výjimkou míry f, je třeba zahrnout do hodnocení kvality MT při analýze, větu po větě, výstupu strojového překladu